文章研究了子句逻辑推演的Ｐｅｔｒｉ网模型表示和不动点求解方法，基于四值逻辑和冲突变迁的概念，可用Ｈｏｒｎ子句的Ｐｅｔｒｉ网模型方法来构造非Ｈｏｒｎ子句的Ｐｅｔｒｉ网模型逻......

命题μ-演算局部模型检测算法中，目前最好的算法的时间复杂度与不动点算子交替嵌套深度d呈指数关系。针对命题μ-演算局部模型检测......

并发系统的模型是其性能评价、仿真、作业调度及控制的研究基础。互斥是并发系统最重要的性质之一。建立了具有互斥约束系统的一般......